//]]>
Logic-Based Program Synthesis and Transformation by Vidal, Germán. Publication: . X, 254 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
DNA Computing and Molecular Programming by Stefanovic, Darko. Publication: . X, 151 p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Optimization by Mahjoub, A. Ridha. Publication: . XIV, 476 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Cryptology – CRYPTO 2012 by Safavi-Naini, Reihaneh. Publication: . XV, 888 p. 103 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Security and Cryptology - ICISC 2011 by Kim, Howon. Publication: . XII, 512 p. 98 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Computer Games by Herik, H. Jaap. Publication: . XXIII, 356p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Optimization and Applications by Lin, Guohui. Publication: . XI, 398 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Arithmetic of Finite Fields by Özbudak, Ferruh. Publication: . XII, 247p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Developments in Language Theory by Yen, Hsu-Chun. Publication: . XIII, 478p. 65 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages Alive by Bordihn, Henning. Publication: . X, 291 p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages, and Programming by Czumaj, Artur. Publication: . 860p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages, and Programming by Czumaj, Artur. Publication: . 700p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Deontic Logic in Computer Science by Ågotnes, Thomas. Publication: . XII, 215 p. 21 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Lectures on Logic and Computation by Bezhanishvili, Nick. Publication: . VIII, 265 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Pattern Matching by Kärkkäinen, Juha. Publication: . XIII, 454p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Diagrammatic Representation and Inference by Cox, Philip. Publication: . XIII, 358p. 202 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithm Theory – SWAT 2012 by Fomin, Fedor V. Publication: . XIII, 410p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of Program Construction by Gibbons, Jeremy. Publication: . X, 363p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Structural Information and Communication Complexity by Even, Guy. Publication: . XIII, 340 p. 54 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Multivariate Algorithmic Revolution and Beyond by Bodlaender, Hans L. Publication: . XXII, 506p. 32 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية